We describe an approach that uses causal reasoning and geometric reasoning to construct explanations for the purposes of the geometric features on the parts of a mechanical device. To identify the purpose of a feature, the device is simulated with and without the feature. The simulations are then translated into a “causal-process” representation, which allows qualitatively important differences...

Besides experimental methods, numerical simulations bring benefits and great opportunities to characterize and predict mechanical behaviors of materials especially at nanoscale. In this study, a nano-single crystal aluminum (Al) as a typical face centered cubic (FCC) metal was modeled based on molecular dynamics (MD) method and by applying tensile and compressive strain loadings its mechanical ...

We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which covers the most important class of mechanical motions, symbolically captures the qualitative aspects of objects that translate and rotate along axes that are fixed in space. The algorithm exploits the structure of these mo...

this paper presents a comprehensive case study on electro-mechanical analysis of mems[1] variable capacitors. using the fundamental mechanical and electrical equations, static and dynamic behaviors of the device are studied. the analysis is done for three different modes, namely: dc (static mode), small signal ac and large signal regime. a complete set of equations defining dynamic behavior of ...